Software transactional memory - PDFSEARCH.IO - Document Search Engine

Software transactional memory
Results: 226

#	Item
21	Rand-array-sim-M1000-detail.eps Add to Reading List Source URL: www.eecs.harvard.edu Language: English Transaction processing Computing Concurrency control Software Data management Software transactional memory Transactional memory Linearizability Lock Extensible Storage Engine Database transaction
22	Transactional IPC in Fiasco.OC Can we get the multicore case verified for free? Till Smejkal, Adam Lackorzynski, Benjamin Engel and Marcus Völp Operating Systems Group Technische Universität Dresden, Germany Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2016-07-14 16:23:27 Computing Computer architecture Concurrency control Software Transaction processing Transactional memory Microkernel Software transactional memory Transactional Synchronization Extensions L4 microkernel family Rock Mach
23	The Push/Pull Model of Transactions Eric Koskinen ∗ Matthew Parkinson IBM TJ Watson Research Center, USA Add to Reading List Source URL: researcher.watson.ibm.com Language: English - Date: 2015-04-25 13:38:13 Transaction processing Computing Data management Data Concurrency control Databases Software transactional memory Serializability Schedule Isolation Database transaction Linearizability
24	Lock-free programming for the masses KC Sivaramakrishnan University of Cambridge Efficient concurrent programming libraries are essential for taking advantage of fine-grained parallelism on multicore hardware. We present Add to Reading List Source URL: kcsrk.info Language: English - Date: 2016-08-01 08:25:07 Concurrency control Computing Software engineering Computer programming Transaction processing Software design patterns Functional languages Data management Software transactional memory Treiber Stack Lock OCaml
25	PLACES 22nd March 2009 Programming Language Approaches to Concurrency and Communication-cEntric Software is a workshop at ETAPS 2009, York, England Add to Reading List Source URL: places09.di.fc.ul.pt Language: English - Date: 2009-03-12 05:21:57 Concurrency control Parallel computing Concurrent computing Transaction processing Central processing unit Thread Monitor Software transactional memory Multi-core processor Lock Transactional memory Instruction set
26	2 TM C: a Software Transactional Memory for Many-Cores Vasileios Trigonakis Add to Reading List Source URL: www.gsd.inesc-id.pt Language: English - Date: 2012-02-23 10:20:44 Concurrency control Transaction processing Transactional memory Programming language implementation Software transactional memory Computer memory Non-blocking algorithm Liveness Multi-core processor
27	Semantically Enhanced Containers for Concurrent Real-Time Systems Damian Dechev1 , Peter Pirkelbauer1 , Nicolas Rouquette2 , and Bjarne Stroustrup1 , , . Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-03 23:34:26 Concurrency control Software transactional memory Compare-and-swap Non-blocking algorithm ABA problem Monitor Hazard pointer Lock Load-link/store-conditional Linearizability Mutual exclusion Thread safety
28	Reducing contention in STM Panagiota Fatourou Department of Computer Science University of Crete & FORTH ICS Mykhailo Iaremko1 Add to Reading List Source URL: rp-www.cs.usyd.edu.au Language: English Concurrency control Transaction processing Software transactional memory Lock Non-blocking algorithm Linearizability Transactional memory Parallel computing Go Synchronization Symposium on Parallelism in Algorithms and Architectures
29	A Formal Model of Crash Recovery in Distributed Software Transactional Memory (Extended Abstract) Paweł T. Wojciechowski, Jan Kończak Poznań University of TechnologyPoznań, Poland Add to Reading List Source URL: rp-www.cs.usyd.edu.au Language: English Transaction processing Fault-tolerant computer systems Data management Concurrency control Databases Paxos Replication Software transactional memory State machine replication Consensus Database transaction Transactional memory
30	High Performance Hardware Transactional Memory does not Equal High Performance Transaction Systems Justin Levandoski (Microsoft) Darko Makreshanski (ETH Zurich) Ryan Stutsman (Utah) Add to Reading List Source URL: hpts.ws Language: English - Date: 2015-10-02 08:07:40 Concurrency control Transaction processing Linearizability Non-blocking algorithm Lock Transactional memory Compare-and-swap Software transactional memory Transactional Synchronization Extensions